package h0717;

import java.util.HashSet;
import java.util.Scanner;
import java.util.Set;
/**
  * @description 解密犯罪时间 使用的是逐步增加时间来解决
  * @author 不知名帅哥
  * @date 2024/7/18 0:39
  * @version 1.0
*/
public class DecryptTimeCrime2 {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
        String input = sc.next();

        // 提取所有的数字并存储在一个集合中
        Set<Character> digits = new HashSet<>();
        for (char c : input.toCharArray()) {
            if (Character.isDigit(c)) {
                digits.add(c);
            }
        }

        // 提取当前时间的小时和分钟
        int currentHour = Integer.parseInt(input.substring(0, 2));
        int currentMinute = Integer.parseInt(input.substring(3, 5));

        // 逐分钟递增时间并检查是否满足条件
        while (true) {
            // 更新分钟和小时
            currentMinute++;
            if (currentMinute == 60) {
                currentMinute = 0;
                currentHour++;
                if (currentHour == 24) {
                    currentHour = 0;
                }
            }

            // 构造新的时间字符串
            String newTime = String.format("%02d:%02d", currentHour, currentMinute);

            // 检查新的时间字符串是否只包含给定的数字
            boolean isValid = true;
            for (char c : newTime.toCharArray()) {
                if (c != ':' && !digits.contains(c)) {
                    isValid = false;
                    break;
                }
            }

            if (isValid) {
                System.out.println(newTime);
                break;
            }
        }
    }
}
